161. Applied discrete structures
پدیدآورنده: Joshi, K. D.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics
رده :
QA
76
.
9
.
M35
A6
1997
162. Applied discrete structures for computer science
پدیدآورنده: Doerr, Alan,8391-, Alan Doerr, Kenneth Levasseur
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer science- Mathematics
رده :
QA
76
.
9
.
M35
D64
1989
163. Applied logic for computer scientists : computational deduction and formal proofs
پدیدآورنده: Ayala-Rincon, Mauricio
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer logic,، Computer science -- Mathematics
رده :
QA
76
.
9
.
L63A92
164. Applied mathematics and Parallel Computing
پدیدآورنده: Herbert Fischer, Bruno Riedmuller, Stefan Schaffler )editors(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics , Parallel computers , Mathematics
رده :
QA
76
.
9
.
M35
A66
1996
165. Applied scientific computing :
پدیدآورنده: Peter R. Turner, Thomas Arildsen, Kathleen Kavanagh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- Data processing.,Python (Computer program language),3D graphics & modelling.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Programming-- Algorithms.,Mathematical theory of computation.,Mathematics-- Applied.,Mathematics-- Data processing.,Maths for engineers.,Maths for scientists.,Python (Computer program language)
رده :
QA76
.
95
166. Applying Soft Computing in Defining Spatial Relations
پدیدآورنده: edited by Pascal Matsakis, Les M. Sztandera.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science-- Mathematics.,Computer science.,Translators (Computer programs).
167. Approximation Theory
پدیدآورنده: by George A. Anastassiou, Sorin G. Gal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Global analysis (Mathematics).,Global analysis.,Mathematics.
168. Array grammars, patterns and recognizers
پدیدآورنده: editor P.S.P. Wang
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics , Pattern recognition systems , Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
M35
A77
1989
169. Artificial Boundary Metho
پدیدآورنده: / by Houde Han, Xiaonan Wu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science, Mathematics,Computer science,Engineering mathematics,Electronic books
رده :
E-BOOK
170. Artificial Intelligence and Dynamic Systems for Geophysical Applications
پدیدآورنده: by Alexei Gvishiani, Jacques Octave Dubois.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science-- Mathematics.,Geographical information systems.,Geography.,Optical pattern recognition.,Physical geography.
171. Artificial mathematical intelligence :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics. ;
172. Aspects of Semidefinite Programming :
پدیدآورنده: by Etienne Klerk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics.,Information theory.,Mathematics.
رده :
T57
.
74
B948
2004
173. Assignment problems /
پدیدآورنده: Rainer Burkard, Mauro Dell'Amico, Silvano Martello
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Assignment problems (Programming),Computer science-- Mathematics
رده :
QA402
.
6
.
B87
2009
174. Assignment problems
پدیدآورنده: Burkard, Rainer E.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Assignment problems )Programming(,Mathematics ، Computer science
رده :
QA
402
.
6
.
B87
175. At the intersection of language, logic, and information :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
176. Atlas for computing mathematical functions: an illustrated guide for practitioners, with programs in C and Mathematica
پدیدآورنده: Thompson, William Jackson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Computer programs ، Functions,Mathematics Computer programs ، Science,، C )Computer program language(,، Mathematica )Computer program language(
رده :
QA
331
.
T385
177. Automata, logics, and infinite games
پدیدآورنده: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
178. Automata, logics, and infinite games
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
179. Automata, logics, and infinite games
پدیدآورنده: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
رده :
QA
,
76
.
9
,.
M35
,
A85
,
2002
180. Automata, logics, and infinite games
پدیدآورنده: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
